Stallings automata for free-times-abelian groups: intersections and index
نویسندگان
چکیده
We extend the classical Stallings theory (describing subgroups of free groups as automata) to direct products and abelian groups: after introducing enriched automata (i.e., with extra labels), we obtain an explicit bijection between a certain type such automata, which - it happens in group is computable finitely generated case. This approach provides neat geometric description (even non generated) intersections within this non-Howson family. In particular, give solution subgroup intersection problem finite index problem, providing recursive bases transversals respectively.
منابع مشابه
Finite Automata Presentable Abelian Groups
We give new examples of FA presentable torsion-free abelian groups. Namely, for every n > 2, we construct a rank n indecomposable torsion-free abelian group which has an FA presentation. We also construct an FA presentation of the group (Z,+) in which every nontrivial cyclic subgroup is not FA recognizable.
متن کاملnon-divisibility for abelian groups
Throughout all groups are abelian. We say a group G is n-divisible if nG = G. If G has no non-zero n-divisible subgroups for all n>1 then we say that G is absolutely non-divisible. In the study of class C consisting all absolutely non-divisible groups such as G, we come across the sub groups T_p(G) = the sum of all p-divisible subgroups and rad_p(G) = the intersection of all p^nG. The proper...
متن کاملIntersections and joins of free groups
Let F be a free group. If H and K are subgroups of F , we let H ∨K = 〈H,K〉 denote the join of H and K. We study the relationship between the rank of H ∩K and that of H ∨K for a pair of finitely generated subgroups H and K of F . In particular, we have the following particular case of the Hanna Neumann Conjecture, which has also been obtained by L. Louder [6] using his machinery for folding grap...
متن کاملVehicle index estimation for signalized intersections using sample travel times
0968-090X/$ see front matter 2013 Elsevier Ltd. All rights reserved. http://dx.doi.org/10.1016/j.trc.2013.06.018 q This paper was presented at the 20th International Symposium on Transportation & Traffic Theory. It therefore also appears in the complete pro of the 20th ISTTT in [Procedia – Social and Behavioral Sciences, vol. 80C (2013), pp. 473–490]. ⇑ Corresponding author. Tel.: +1 518 276 80...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Publicacions Matematiques
سال: 2022
ISSN: ['2014-4350', '0214-1493']
DOI: https://doi.org/10.5565/publmat6622209